On the Definition of Specialization Hierarchies for Procedures
نویسنده
چکیده
II HEE& OF Ol&zll HIERARCHIES We h i g h l i g h t the growing body of systems in AI and outs ide where IS-A h ie ra rch ies of procedures co-occur w i th more t r a d i t i o n a l onea of ob jec t s , and we c l a s s i f y the var ious types of s p e c i a l i s a t i o n s . We then g ive formal d e f i n i t i o n s which approximate t h e i r intended meanings and, f i n a l l y , examine t h e i r u t i l i t y using as a c r i t e r i o n the way in which they a id program v e r i f i c a t i o n .
منابع مشابه
A Perfect Specialization Model for Gravity Equation in Bilateral Trade based on Production Structure
Although initially originated as a totally empirical relationship to explain the volume of trade between two partners, gravity equation has been the focus of several theoretic models that try to explain it. Specialization models are of great importance in providing a solid theoretic ground for gravity equation in bilateral trade. Some research papers try to improve specialization models by addi...
متن کاملLearning "Generalization/Specialization" Relations between Concepts - Application for Automatically Building Thematic Document Hierarchies
We introduce a new method for automatically constructing concept hierarchies where the concept nodes follow a generalization / specialization relation. Starting from a set of concepts automatically extracted from a corpus, we show how to learn generalization / specialization relations between couples of concepts and how this leads to the construction of the hierarchy. We present an application ...
متن کاملReduction of Language Hierarchies
We study the structure of language hierarchies and their reduction by two forms of metacomputation in order to overcome the time and space complexity of language hierarchies. We show that program specialization and program composition are sufficient to reduce all forms of language hierarchies constructed from interpreters and translators. We argue that the reduction of language hierarchies is a...
متن کاملMerging Inheritance Hierarchies for SchemaIntegration based on Concept Lattices 1
Merging inheritance hierarchies is an essential task of schema integration as part of the design of a federated database. Based on the formalization of inheritance hierarchies as concept lattices we present an eecient algorithm for deriving an integrated inheritance hierarchy as result of merging two inheritance hierarchies with overlapping extensions and types. Several methods are presented to...
متن کاملA Study on the Value Systems of the Fourth Region of the I.A.U
This paper aims to study and examine the value systems among the students region of Islamic Azad universities. The population includes all students in academic year 2008-9 among whom 400 ones were selected from 10 universities as a sample. The students' value hierarchies were examined using Alpourt 45- item questionnaire(A.V.L). Descriptive and t-inferential statistics and multivariate variance...
متن کامل